Natural Deduction: Examples